吴文俊全集 数学机械化 5

本卷收录了吴文俊在数学机械化领域发表的46篇论文，内容包括：几何定理机器证明的吴方法、多项式系统符号求解的Ritt-吴特征列方法、构造性微分代数几何理论、不等式机器证明与优化问题的有限核定理等数学机械化领域的奠基性成果，还包括数学机械化方法在数学定理的自动发现、天体中心构型问题求解、平面机构定理的机器证明、机器人的运动学问题的自动求解、几何设计中的曲面拼接等问题中的应用...

马克思主义哲学新形态探索(增订版)

《马克思主义哲学新形态探索（增订版》（上卷），汲取实践唯物主义讨论的成果，重新理解马克思主义哲学变革的实质精神，贯彻马克思从现实的人出发，把现实、感性、对象都当作实践去理解的方法论原则，对一些传统的命题、概念提出了新的解释；结合中国的历史和实际，分析了马克思主义中国化过程中的一些问题，包括重建社会信任、民主政治，具有一定的针对性；用马克思主义哲学分析文化发展中的问题，认为建设公民文化，自觉确立、提升、完善公民主体性，是促使人的现代化的

巢湖流域水生态健康研究

针对当前巢湖水环境质量恶化、人类活动对流域生态环境胁迫加剧的现实问题，本专著依托国家水体污染控制与治理科技重大专项课题"重点流域水生态功能三级四级分区研究"，综合开展巢湖流域水生态综合调查，分析巢湖流域水生态系统的组成、结构和格局特征的空间差异和分布规律，探讨流域人类活动变化对水生态系统影响的主要因子。建立水生态健康评估指标体系与评估方法，针对巢湖流域的特征，从化学完整性、物理完整性和生物完整性三个方面筛选指标，分别建立适合巢湖流域的

念练不忘

厚大法考集优良的师资及多年的教学经验精心编写的厚大法考口袋书系列，紧紧围绕考试大纲及历年真题，以专业视角精心挑选万千考点之重点，去之赘余，存其精粹。 并提炼核心关键词，使考生能快速掌握考试要点，提高记忆效率。 同时针对命题题眼，极致还原经典设陷填空方式，加强记忆效果。 此外附赠红膜自测卡，考生可写可背，记练一体，使记忆更准确、持久。 64 开双色印刷，小巧、方便，帮助考生利用有限的碎片化时间轻松掌握考试要点。 这是一本浓缩考点精华的背

Linux高效运维实战

本书以实际生产环境为背景，以实操为主，系统、全面地讲解了Linux运维人员必须掌握的运维知识。通过本书，读者不仅可以掌握必需的专业知识，还可具备实际解决问题的能力。 全书分为5篇，共有15章。篇（～3章）是Web、数据库运维篇，主要介绍了Web运维和数据库运维的实战技能。第2篇（第4～5章）是运维监控篇，主要介绍了企业常用的运维监控工具。第3篇（第6～8章）是集群架构篇，主要介绍了3款开源集群软件。第4篇（第9～11章）是线上服务器安

念练不忘

《念练不忘》口袋书共8册，每科1小本，单册手机大小，方便携带，提炼了90%以上考点，充分利用碎片化时间，可以在上班路上，闲暇时间，进考场前，随时随地进行学习！ 01紧扣近期新法考大纲，紧跟命题趋势 根据2023近期新法考大纲编写，紧扣大纲，结合题眼，精选2023年法考核心考点、 命题点、新增点。 紧扣法考新大纲，酌选万千考点之一二，只有考点，只取精华。 02 精准锁定关键词，权威圈划命题点 精准提炼核心关键词。并根据命题

鄱阳湖水环境模拟与健康评价

本书基于鄱阳湖水生态的全面监测与调查，构建“流域水文及污染产出-湖泊水动力-湖泊水质-湖泊藻类”的系统机理模型，分析鄱阳湖水环境中主要要素的变化规律及驱动机制；同时在此基础上，建立鄱阳湖水生态健康评价框架，科学评估鄱阳湖健康现状及发展历程；纳入鄱阳湖湖盆内碟形湖以及重要圩区研究内容，刻画鄱阳湖具有代表性区域的营养物质输移规律以及气候和土地利用变化对湖区圩区水文过程影响...

恶意软件分析与检测

伴随恶意代码种类和数量的不断增加，对恶意代码分析方法提出更高要求，在传统的特征码检测方法与启发式检测方法存在样本分析成本过高、无法有效检测未知恶意软件等问题；新型基于机器学习的恶意软件检测方法能够提高分析效率以及改善未知恶意软件检测性能，但存在软件特征语义信息不明显、特征数量庞大以及检测模型过度依赖训练样本等缺点。另一方面，对于感染后宿主软件中恶意注入代码的局部识别方面，现有技术有较高的恶意代码分析成本，且无法对未知感染的结果进行有效

Linux技术与应用丛书高性能Linux服务器运维实战:shell编程,监控

《高性能Linux服务器运维实战：shell编程、监控告警、性能优化与实战案例》以Linux运维平台下的开源应用软件为中心，涉及Linux运维的各个方面，主要从系统基础运维、系统性能调优、智能运维监控、运维实战案例4个方面展开介绍。本书贯穿实战、实用、通俗、易懂的特点，在内容上注重实战化，通过真实的生产环境从多个方面介绍运维工作中的方方面面。通过真实案例的学习，可以使读者深入地掌握Linux运维技术的各种经验和技巧，从而真正提高企业的

瓜州东千佛洞 第5窟

《瓜州东千佛洞.第5窟》由张景峰,魏迎春,李宏伟编...

磁场与生命科学的跨学科研究(英文版)

本书共分16章,介绍了磁场和生命科学在中国的跨学科研究。本书作者来自中国科学院，中国科技大学，厦门大学，浙江大学，东南大学，西北工业大学，南京大学等多个科研机构。本书涵盖了关于磁场与生命科学交叉学科研究的各种主题，包括磁性纳米粒子及其潜在的医疗应用，静态和低频磁场的生物效应及其潜在的临床应用，技术和应用的核磁共振（NMR）和磁共振成像（MRI）在生命科学研究。重点介绍了中国学者近年来的研究进展，同时也包括了国外学者的一些研究进展...

瓦斯爆炸伤害学

白俊清、李树峰主编的《瓦斯爆炸伤害学》共分二十三章，概述了我国瓦斯爆炸的原因及其防治措施，论述了我国煤矿瓦斯爆炸伤的特点、现场救治程序、现代救治方法，突出了我国煤矿瓦斯爆炸伤害救援体系、特有的呼吸性损伤、自体挤压伤与自体挤压伤综合征、有害气体中毒、免疫力低下、以呼吸衰竭为首发的序贯性脏器功能损伤与衰竭、瓦斯爆炸伤害的心理干预与治疗等，这些都是一般创伤学所很少涉及的内容。其中第十章瓦斯爆炸性烧伤的救治中突出了“烧伤休克的迁延性复苏”

专注十年磨一剑,潜心寻优求卓越——纪念全国空间轨道设计竞赛十

全国空间轨道设计竞赛是国内各高校及研究机构关于空间轨道设计与优化研究的交流平台，2009年创办至2019年已成功举办了十届，产生了广泛的社会影响。本书是全国空间轨道设计竞赛十周年纪念文集，主要内容包括：竞赛发展历程回顾、历届竞赛很好设计作品、通过竞赛推动人才培养的做法和成效、青年学者和研究生参与竞赛的故事、靠前竞赛夺冠纪实等。全书较为翔实地记录了我国航天动力学领域青年学者团体“专注十年磨一剑，潜心寻优求很好”的不断学习与进步的难忘历程

云南亚热带森林单木生物量空间效应分析

本书以云南省亚热带地区3种典型森林（思茅松天然林、思茅松人工林和桉树人工林）的皆伐样地（100m×30m）的各维量生物量（木材、树皮、树干、树枝、枝叶、树冠以及地上生物量）的实测数据为基础，比较分析了3种典型森林单木地上部分生物量各维量的空间效应变化；在空间效应分析的基础上，考虑林木的空间位置信息，采用空间滞后模型、空间误差模型、地理加权回归模型等空间回归模型和混合效应模型建模技术，构建不同维量生物量的全局空间回归模型、局部空间回归模

湖泊型流域水生态系统研究及管理

本书介绍了湖泊型流域的概念、尺度和空间格局，湖泊型流域的过程，以及湖泊型流域的生态服务功能；阐述了湖泊型流域水生态功能分区的方法，并以巢湖流域和太湖流域为例，说明了分区的具体过程；构建了湖泊型流域水生态健康评价体系，分析了水生生物状态的驱动机制，并以巢湖流域和太湖流域为例，具体说明在分区的基础上进行水生态健康评价的过程；以潼湖流域为例，说明了湖泊型流域水生态管理的方法...

鸟的王国:欧洲雕版艺术中的鸟类图谱.3

作为18世纪时期法国博物学家，布封耗费40年时间完成了36卷的巨制《自然史》，对后世影响深远。正是在他的 下，在其合作者E.L.多邦东和M.多邦东的协助下，由同时代法国 的雕版绘画师弗郎索瓦-尼古拉?马蒂内完成了1008幅精致的雕版手绘插图。这套18世纪的鸟类图鉴丛书，自1765年陆续问世以来，距今已有二百五十余年的历史。 这1008幅手绘图包含973幅鸟类插图，35幅其他动物插图（28种昆虫、3种两栖和爬行类动物图和4种珊瑚图

鸟的王国:欧洲雕版艺术中的鸟类图谱.4

作为18世纪时期法国博物学家，布封耗费40年时间完成了36卷的巨制《自然史》，对后世影响深远。正是在他的 下，在其合作者E.L.多邦东和M.多邦东的协助下，由同时代法国 的雕版绘画师弗郎索瓦-尼古拉?马蒂内完成了1008幅精致的雕版手绘插图。这套18世纪的鸟类图鉴丛书，自1765年陆续问世以来，距今已有二百五十余年的历史。 这1008幅手绘图包含973幅鸟类插图，35幅其他动物插图（28种昆虫、3种两栖和爬行类动物图和4种珊瑚图

内蒙古自治区地质综合信息集成

本书是关于“内蒙古自治区地质综合信息集成”的报告。主要内容包括: 项目概况, 内蒙古自治区地质工作程度等11类基础地质数据库现状调研及维护, 铁、铜、铝、铅、锌、锰、镍、钨、锡、金、铬、钼、锑、稀土、银、磷、硫、萤石、菱镁矿、重晶石20个矿种资源潜力评价专题成果数据库建设及资料整理与汇总 ; 内蒙古自治区矿产资源潜力评价成果数据库集成, 矿产资源潜力评价成果应用与服务等...

流域水生态功能分区与健康管控技术手册

本书基于“十一五”、“十二五”和“十三五”国家水体污染控制与治理科技重大专项的部分研究成果，对流域水生态功能分区与健康管控关键技术进行综合集成，系统筛选梳理了水生态功能分区、水生态健康评价和保护目标制定、土地利用优化与空间管控、水生态承载力评估与调控四大类共24项关键技术，可为流域水生态健康管理提供技术支撑，为推动流域水环境管理从“水质目标管理”向“水生态健康管理”转变提供技术应用经验和案例参考。 本书可供环境保护领域的科研人

智能无人机集群网络优化技术

无人机集群网络优化是实现集群协同动作、发挥集群数量优势的基础。本书紧密围绕无人机集群网络优化关键技术展开阐述。全书共十章，首先详细分析了无人机集群网络的重要作用、归纳总结了无人机集群网络的特点、提出了无人机集群网络优化的智能化趋势，然后分别针对网络优化中的重点内容，包括资源分配、数据接入、中继选择、拓扑控制、信息获取、抗干扰策略进行了深入探讨，对每一项关键技术都给出了详细的问题分析、模型建立、算法设计和实验结果，系统的归纳梳理了近年来

宇宙护卫队(套装 5 册)